61. Automata, languages and programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991 proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine theory--Congresses,، Formal languages--Congresses,، Programming )Electronic Computers(--Congresses
رده :
QA
267
.
A9228
1991
62. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
المؤلف: edited by Laurent kott
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
63. Automata, languages and programming : 13th International Colloquium ,Rennes, France, July 15-19, 1986 : Proceedings
المؤلف: edited by Laurent Kott
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
226
64. Automata, languages, and programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989 : Proceedings
المؤلف: G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
372
65. Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : Proceedings
المؤلف: Timo Lepisto, Arto Salomaa )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
317
66. Automata, languages and programming. 6th colloquium, Graz, Austria, July 16-20, 1979
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Sequential machin theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(
رده :
QA
267
.
5
.
S4
.
C63
1979
67. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
I55
1985
68. Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
المؤلف: Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2076
69. Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : Proceedings
المؤلف: J. Leach Albert, B. Monien, M. Rodriguez Artalejo )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
I5
1991
70. Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
المؤلف: W. Kuich )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
623
71. Automata theory and formal languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975
المؤلف: edited by H. Brakhage on behalf GI
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
33
72. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
المؤلف: edited by H. Brakhage on behalf of GI
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
A924
73. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
المؤلف: edited by H. Brakhage on behalf of GI
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
33
74. Automate theory and formal languages, 2nd GI Conference, Kaiserslautern, May 20-23, 1975
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Machin theory,Congresses ، Automata,Congresses ، Formal languages
رده :
QA
267
.
A98
75. Automated and algorithmic debugging :
المؤلف: Peter A Fritzson
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
76. Automated deduction in geometr
المؤلف: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
77. Automated technology for verification and analysis :
المؤلف: Shuvendu K. Lahiri, Chao Wang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
79. BL,BL
المؤلف: David E. Sanger. ,Bruce Feiler.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
